﻿var rt = window.external.mxGetRuntime();
var zoomOfget = rt.storage.getConfig(window.location.host);

if(zoomOfget != "") {
	document.querySelectorAll("html")[0].style.zoom = new Number(zoomOfget);
}